101. Proof theory and logical complexity
پدیدآورنده: Jean-Yves Girard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
G57
1987
102. Proof theory for fuzzy logics
پدیدآورنده: Metcalfe, George
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
103. Proof theory for fuzzy logics
پدیدآورنده: / by George Metcalfe, Nicola Olivetti, Dov Gabbay
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Fuzzy logic.,Proof theory.
رده :
QA
,
9
.
64
,.
M48
,
2009
104. Proof theory for fuzzy logics
پدیدآورنده: Metcalfe, George.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
105. Proof theory for fuzzy logics
پدیدآورنده: by George Metcalfe, Nicola Olivetti, Dov Gabbay
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48P7
106. Proof theory for fuzzy logics
پدیدآورنده: by George Metcalfe, Nicola Olivetti, Dov Gabbay
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
107. Proof theory for fuzzy logics
پدیدآورنده: / George Metcalfe,Nicola Olivetti, Dov Gabbay.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Proof theory,fuzzy logics
رده :
511
.
3
M588p
108. Proof theory for fuzzy logics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Fuzzy logic. ; Proof theory. ;
109. Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
پدیدآورنده: Reinhard Kahle, Peter Schroeder-Heister, Robert Stark )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2183
112. Proof theory of impredicative subsystems of analysis
پدیدآورنده: Wilfried Buchholz, Kurt Schutte
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
113. Proof theory: the first step into impredicativity
پدیدآورنده: Pohlers, Wolfram
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
P64
2008
114. Reductive logic and proof-search: proof theory, semantics, and control
پدیدآورنده: Pym, David J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P87
2004
115. Reductive logic and proof-search : proof theory, semantics, and control
پدیدآورنده: David J. Pym and Eike Ritter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
P965R4
116. Selected papers in proof theory
پدیدآورنده: Grigorii E. Mints
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
M56
1992
117. Selected papers in proof theory
پدیدآورنده: Mints, G. E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
M56
1992
118. Selected papers in proof theory
پدیدآورنده: / Grigorii E. Mints
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Proof theory
رده :
QA
9
.
54
.
M56
1992
119. Structural proof theory
پدیدآورنده: Negri, Sara
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N44
2001
120. Structural proof theory
پدیدآورنده: Negri, Sara, 7691-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
N4S78
